en hypersequent
― DerivedFrom ⟶
Weight: 1.0
en sequent Source: English Wiktionary